recent posts | Lambda the Ultimate

recent posts

type	title	author	last post
Forum topic	Just entertainment: Click, click, click! Don't refuse to click the by marco I'm too stubborn for this. ;-) by Michiel Helvensteijn	marco	2017-07-13 22:32
Forum topic	What would be involved in moving logic beyond FOL? Right - I understand now, by Neil Madden No, you're right by Matt M I can see your point that by Neil Madden Second sort for relations by Matt M Confused by Neil Madden My take by Matt M Yeah by Matt M Ah, right, another try by Charles Stewart TC in multisorted FOL by Neil Madden Try strong and weak fairness by marco ...	Charles Stewart	2017-07-14 15:18
Story	The APL Idiom List Memories by Biep	Ehud Lamm	2017-07-20 09:13
Story	The Syntax and Semantics of Quantitative Type Theory Thanks by Charles Stewart Contraction and a Correction by Bob Atkey Helps a bit by Charles Stewart Embedding simple types by Bob Atkey Expressivity by Charles Stewart	naasking	2017-07-26 18:34
Forum topic	Question: do you have to climb the tower of interpreters? This is why by artemonster Alternatives? by artemonster Why not good? by skaller Nature of the tower by John Shutt Link by John Shutt	artemonster	2017-07-26 19:26
Forum topic	hobbes, Morgan Stanley OSS Got it by Z-Bo Post it. Please? by marco Talking about GHC by Kalani Wut? by marco How many FLOPS is that? by Z-Bo Heh by Kalani I'll say one thing about by Z-Bo Good points by Kalani Refinement Types by Keean Schupke Calvin ... by Kalani ...	Kalani	2017-07-27 14:55
Story	ECMAScript Edition 4 Reference Implementation Archive somewhere? by kmag Will do by David Teller The IO monad gives you means by Philippa Cowderoy IO monad by Andreas Rossberg This would be true if by Philippa Cowderoy Overspecifying the unobservable? by Andreas Rossberg and call-by-name... by Derek Elkins I was thinking about by Felicia Li Svilling Thanks by Andreas Rossberg Evaluation order by Andreas Rossberg ...	Dave Herman	2017-08-05 19:34
Forum topic	NOOL 2017	Roly Perera	2017-08-11 12:22
Forum topic	New simple proof system Love it! by marco Re: A deep inference Hilbert proof system by Edwin Zacharias A deep inference Hilbert proof system by gasche	Edwin Zacharias	2017-08-13 22:29
Forum topic	isomorƒ: an experimental structured editor for witing/deploying functional code a tour by Brian Kent great feedback! by Brian Kent Looks slick, can’t figure it out by Jon Purdy	Brian Kent	2017-08-15 18:39
first page previous page next page last page